	      <
0	      <
01	      <
012	      <
0123	      <
01234	      <
012345	      <
0123456	      <
01234567      <
012345670     <
0123456701    <
01234567012   <
012345670123  <
0123456701234 <
0123456701234 <
0123456701234 <
0123456701234 <
